Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, The modular structure of an ontology: an empirical study⋆ Chiara Del Vescovo, Bijan Parsia, Uli Sattler, and Thomas Schneid

Source URL: ceur-ws.org

• Mathematics
• Information science
• Technical communication
• Semantic Web
• Ontology
• Logic
• Knowledge representation
• Upper ontology
• Module
• Model theory
• Mereology
• Structure

CALL FOR PAPERS Reed-Muller 2015 May 20-21, 2015, Waterloo, ON, Canada After the International Symposium on Multiple-Valued Logic, May 18-20, 2015, Waterloo, ON, Canada The goal of the Reed-Muller 2015 Workshop is to pro

Source URL: www.lcs.info.hiroshima-cu.ac.jp

Appears in the Proceedings of the National Science Foundation Workshop on Next Generation Data Mining, Nov. 2002, Baltimore, MD. Relational Data Mining with Inductive Logic Programming for Link Discovery Raymond J. Moon

Source URL: www.cs.utexas.edu

Contributions to AI4FM 2015 The 6th International Workshop on the use of AI in Formal Methods Andrius Velykis

Source URL: www.ai4fm.org

• Software
• Theoretical computer science
• Formal methods
• Automated theorem proving
• Logic in computer science
• Proof assistants
• Formal verification
• Automated reasoning
• KeY
• Prover9
• Frama-C
• First-order logic

To appear in the Proceedings of the AAAI Workshop on AI and Information Integration, Madison, WI, JulyQuery Planning with Disjunctive Sources Oliver M. Duschka

Source URL: logic.stanford.edu

• Computing
• Data management
• Data
• Database theory
• Database management systems
• Query languages
• Conjunctive query
• Datalog
• SQL
• Join
• Database
• Query plan

HYLOCORE Workshop on Modal and Epistemic Logic Friday October 14th, 2011, Room, Building 42, RUC Program:

Source URL: hylocore.ruc.dk

Proceedings of the Seventh Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Source URL: places14.di.fc.ul.pt

• Proof theory
• Logic in computer science

3rd Workshop on the Intersections of Computer Architecture and Reconfigurable Logic (CARL 2013): Category 2 A High-Performance Oblivious RAM Controller on the Convey HC-2ex Heterogeneous Computing Platform Martin Maas,

Source URL: www.eecs.berkeley.edu

[Apologies for multiple copies...] ----------------------------------------------------------WLPECALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLPSepte

Source URL: users.dsic.upv.es

Proc. 23rd Int. Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada, Query Answering in the Description Logic S ⋆ Meghyn Bienvenu1 , Thomas Eiter2 , Carsten Lutz1 , 2 ˇ

Source URL: ceur-ws.org